Skip to content

Fix build creating placeholders for missing docs #9721

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 3 commits into from
Closed

Fix build creating placeholders for missing docs #9721

wants to merge 3 commits into from

Conversation

javiereguiluz
Copy link
Member

We must remove these references until #9340 is merged.

@javiereguiluz javiereguiluz added this to the 2.7 milestone May 2, 2018
@javiereguiluz javiereguiluz changed the title Remove references to non-existent docs to fix build Fix build creating placeholders for missing docs May 2, 2018
javiereguiluz added a commit that referenced this pull request May 2, 2018
@javiereguiluz
minor #9721 Fix build creating placeholders for missing docs (javiere…
326419c 
…guiluz)

This PR was squashed before being merged into the 2.7 branch (closes #9721).

Discussion
----------

Fix build creating placeholders for missing docs

We must remove these references until #9340 is merged.

Commits
-------

362210e Fix build creating placeholders for missing docs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
bug Status: Needs Review
Projects
None yet
Milestone
2.7
Development

Successfully merging this pull request may close these issues.
2 participants
@javiereguiluz @carsonbot